A Recent Electronic Control Circuit to a Throttle Device
نویسندگان
چکیده
منابع مشابه
Electronic Throttle Control - A Dependability Case Study
The so-called Electronic Throttle Control unit was a big step towards reducing important parameters like fuel consumption or exhaust emmission. Due to its safety-criticality, a dependability study was initiated by the manufacturer Siemens Automotive. As the most important result, values could be stated for the quantitative estimation of the safety-critical and the availability-relevant cases. T...
متن کاملTesting the Electronic Throttle Control
In this report, we summarize our approach for testing the Electronic Throttle Control (ETC) system. We reformulate the ETC model based on the MATLAB/SIMULINK model provided by the Berkeley group. We specify the ETC model using the hybrid modeling language called CHARON. From the CHARON model, we generate test sequences based on the control-flow and data-flow criteria. These are transformed into...
متن کاملNeural network-based sliding mode control of electronic throttle
In this paper a neural network based sliding mode controller for electronic throttle is proposed. Electronic throttle is considered as an uncertain linear system. The uncertainties, which consist of an unknown friction and spring torque are estimated by the neural network whose parameters are adapted in an on-line fashion. Control and adaptive laws guarantee the boundedness of all signals in th...
متن کاملAsymmetric Modelling and Control of an Electronic Throttle
This paper presents an improved model for an automotive electronic throttle inspired on the behavior observed in real-time experiments. Due to a number of issues, particularly the return-spring, the performance of the throttle valve depends on whether it is opening or closing. This asymmetric behavior was taken into account to design a mathematical model of the throttle body and to derive a non...
متن کاملHybrid System Verification Is Not a Sinecure: The Electronic Throttle Control Case Study
Though model checking itself is a fully automated process, verifying correctness of a hybrid system design using model checking is not. This paper describes the necessary steps, and choices to be made, to go from an informal description of the problem to the final verification result for a formal model and requirement. It uses an automotive control system for illustration.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronics
سال: 2020
ISSN: 2079-9292
DOI: 10.3390/electronics9010191